Exclusive Control within Object Oriented Systems
نویسندگان
چکیده
In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture directly such a notion needs to be included in any formal speciication language. This paper rst discusses the problems that arise when using the existing Object-Z notations , such as object containment, to capture the notion of exclusive control. Then the Object-Z notation is extended to enable the notion of exclusive control to be modelled directly. Finally, a case study is presented to contrast the distinction between the use of exclusive control and object containment when modelling object-oriented systems.
منابع مشابه
Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAutomated Implementation Ofdistributed Real - Time Systems Usingreal - Time Object - Oriented
This paper presents a systematic, schedulability-aware method for automated implementation of complex distributed real-time control systems designed with real-time object-oriented models. Our approach derives tasks in each node of a distributed system by grouping mutually exclusive transactions. It then assigns each task a feasible priority and preemption threshold. To allow for the automated a...
متن کامل